Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
661	Location Choice for Shopping and Leisure Activities Implemented in the Activity-based Multi-agent Transport Simulation MATSim Andreas Horni Darren M. Scott Michael Balmer Kay.W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2008-11-24 07:42:20 Economy Academia Business Systems theory Scientific modeling Transportation planning Algorithm Mathematical logic Theoretical computer science Scientific modelling Leisure Time
662	arXiv:1507.02456v1 [cs.AI] 9 Jul 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-07-09 20:33:34 Graphical models Mathematics Logic Mathematical logic First-order logic Model theory Predicate logic Abox Eval Bayesian network Ring Markov random field
663	Equideductive Logic and CCCs with Subspaces Paul Taylor Domains Workshop IX U of Sussex, Tuesday, 23 September 2008 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:19 Mathematical logic Model theory Structure Universal algebra Homotopy theory Generalised Whitehead product Sigma-algebra
664	Introducing Propositional Logic and Queueing Theory with the InfoTraffic Interactive Learning Environments Ruedi Arnold Institute for Pervasive Computing ETH Zurich 8092 Zurich, Switzerland Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:45 Logic Mathematics Mathematical logic Abstraction Syntax Propositional calculus False Proposition Queueing theory Well-formed formula
665	Reasoning about Independence in Probabilistic Models of Relational Data Marc Maier Katerina Marazopoulou Add to Reading List Source URL: www.statslab.cam.ac.uk Language: English - Date: 2013-07-03 13:11:37 Statistical models Mathematics Mathematical logic Logic Abstraction Graphical models Bayesian network Networks Relational model Database Structure Graph
666	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
667	Learning and Explora/on in Automated Theorem Proving Moa Johansson Chalmers University of Technology Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Logic Philosophy Abstraction Automated theorem proving Proof theory Computational complexity theory Proof assistants Theorem Mathematical proof Type theory Algorithm Proof
668	Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-01-06 11:26:31 Theoretical computer science Mathematics Logic Mathematical logic Formal languages Logic in computer science Automated theorem proving Logic programming Rewriting Confluence Rewrite order Substitution
669	A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16 Theoretical computer science Logic in computer science Formal methods Mathematical logic KeY Formal verification Dynamic logic Automated theorem proving Logic Language-based security
670	Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-04-09 17:09:07 Automated theorem proving Theoretical computer science Mathematical logic Mathematics Rippling IsaPlanner Mathematical proof Resolution Unification Mathematical induction Triviality